COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	What is your reaction to this:
C00004 ENDMK
C⊗;
What is your reaction to this:

	This is a proposal to change the number of CS206 to a 100 number,
say CS166, and to make it one of the courses contributing to the
comprehensive examination.  Here are the reasons:

1. LISP is the main language used in AI research.  Most other AI
languages are based on LISP.

2. The course is the first programming course in which students
are asked to prove correct a reasonable fraction of the programs
they write.

3. There is now a reasonable text, McCarthy and Talcott, covering both
programming and proving.

4. The inclusion of the book and LISP programming ability in the
comprehensive requirements would allow more interesting programming
problems.

New catalog description:

166. Recursive Programming and Proving - Recursive programming using
the LISP language and techniques for proving the corrrectness of
recursive programs.  Computing wherein the data are symbolic expressions
rather than numbers, e.g. algebraic expressions, logical expressions,
patterns, graphs, and computer programs.
Pattern matching and syntax directed computation.  Preparation for
work in artificial intelligence is emphasized.
Prerequisite: 105 or 106 or equivalent ability to program.